home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 3: Developer Tools / Linux Cubed Series 3 - Developer Tools.iso / devel / lang / eiffel / smalleif.97 / se.t / SmallEiffel / lib_test / test_rename2.e < prev    next >
Encoding:
Text File  |  1996-05-02  |  1.5 KB  |  81 lines
  1. -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) 
  2. -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
  3. --
  4. class TEST_RENAME2
  5.    
  6. creation {ANY}
  7.    make
  8.    
  9. feature {ANY}
  10.    
  11.    foo(x: like Current): like Current is
  12.       require
  13.      super_req_foo
  14.       do
  15.      Result := Current;
  16.       ensure
  17.      super_ens_foo
  18.       end;
  19.    
  20.    make is
  21.       local
  22.       aux: AUX_RENAME2;
  23.       do
  24.      !!aux;
  25.      is_true(aux.foo(aux) = aux);
  26.       ensure
  27.      req_foo_mem.count = 1;
  28.      ens_foo_mem.count = 1;
  29.      super_req_foo_mem.count = 1;
  30.      super_ens_foo_mem.count = 1;
  31.       end;
  32.    
  33. feature   
  34.    
  35.    super_req_foo_mem: STRING is "";
  36.    super_ens_foo_mem: STRING is "";
  37.    req_foo_mem: STRING is "";
  38.    ens_foo_mem: STRING is "";
  39.    
  40.    super_req_foo: BOOLEAN is
  41.       do
  42.      super_req_foo_mem.extend(' ');
  43.      Result := (Current = Current);
  44.       end;
  45.    
  46.    super_ens_foo: BOOLEAN is
  47.       do
  48.      super_ens_foo_mem.extend(' ');
  49.      Result := (Current = Current);
  50.       end;
  51.       
  52.    req_foo: BOOLEAN is
  53.       do
  54.      req_foo_mem.extend(' ');
  55.      Result := (Current = Current);
  56.       end;
  57.    
  58.    ens_foo: BOOLEAN is
  59.       do
  60.      ens_foo_mem.extend(' ');
  61.      Result := (Current = Current);
  62.       end;
  63.       
  64. feature
  65.    
  66.    is_true(b: BOOLEAN) is
  67.       do
  68.      cpt := cpt + 1;
  69.      if not b then
  70.         std_output.put_string("TEST_RENAME2: ERROR Test # ");
  71.         std_output.put_integer(cpt);
  72.         std_output.put_string("%N");
  73.      else
  74.         -- std_output.put_string("Yes%N");
  75.      end;
  76.       end;
  77.    
  78.    cpt: INTEGER;
  79.    
  80. end -- TEST_RENAME2
  81.